automata theory

Real time control design by automata theory

自动化理论的实时控制设计

State machine theory is a research direction of finite automata theory .

状态机理论是有限自动机理论的一个研究方向。

Research on Consistency of UML Models Based on Automata Theory

基于自动机理论的UML模型一致性研究

Optimizing and Analysis of Coin Switch based on the Automata Theory

基于自动机原理的硬币兑换机的优化及其应用分析

Research on Cellular Automata Theory and Its Application in Cryptography

元胞自动机原理及其在密码学的应用研究

Finite Domain Constraint Logic Programming and its Applications CHINESE CHARACTER FINITE AUTOMATA THEORY

有穷论域约束逻辑程序设计及其应用

The physical cellular automata theory gives a new idea for studying rock failure .

物理元胞自动机理论为岩石的破坏研究提供了一种新的研究思路。

Application of tree automata theory in XML

树自动机理论在XML中的应用

The highway toll collector system was researched by using the finite automata theory .

利用有穷自动机理论研究了高速公路收费站的收费系统。

The paper discusses the ideas and methods to build the traffic model based on cellular automata theory .

论文分析讨论了基于元胞自动机的车辆换道模型构建的思路和方法。

The complex traffic flow of urban railway traffic was studied with the cellular automata theory .

本文利用元胞自动机理论，对城市轨道交通系统中复杂的交通流现象进行研究。

CHINESE CHARACTER FINITE AUTOMATA THEORY The Theory of Cellular Automata and It 's Application in Cryptography

细胞自动机理论及其在密码中的应用

Based on the cellular automata theory , a new method of designing irregular weave by computer is introduced .

以细胞自动机理论为基础，提出了不规则组织计算机辅助设计的新思路。

Lay the foundation for the implementation of the process . Second , using automata theory to control task execution mechanism .

其次，研究利用自动机理论来控制任务执行的机制。

Moreover , this paper also introduces the application of cellular automata theory model in the medical-image segmentation .

除此之外，本文也对元胞自动机理论模型在医学图像分割中的应用作了介绍。

Product is one of the basic operations of automata theory , which plays a prominent role both in theory and application .

乘积是自动机理论中的基本运算之一，在理论和应用方面都占有重要的地位。

Recently , the Cellular Automata Theory has been applied into vehicle traffic and pedestrian evacuation .

近年来元胞自动机广泛应用于机动车交通、行人流的研究。

The subjects studied in such a course include automata theory , formal languages , and models of computation .

这些课程讲述自动机、本科生标准导论形式语言和计算模型的理论。

Automata theory and the closely related theory of formal languages form nowadays such highly developed and diversified body of knowledge .

当今自动机理论及其相关的形式语言的理论得到了高度的发展，由其衍生出的知识也层出不穷。

Boolean Algebra and Automata Theory over Boolean Algebra

布尔代数和布尔代数上的自动机

Automata theory is the basic of research of algorithm description and analysis , the theory of computation complexity , and computability , etc.

自动机理论是算法描述和分析，计算复杂性理论，可计算性等研究的基础，它为计算理论提供了可靠的数学模型。

It has very important application in formal languages and automata theory , the reachability of graphics and the route optimization .

它在形式语言与自动机理论、图的可达性和路径优化等方面都有很重要的应用。

The series papers systematically discuss the computability and the computational capacity of DNA molecular using the formal language and automata theory .

本系列文章应用形式语言及自动机理论技术，系统地探讨了DNA分子的可计算性及其计算能力。

Then , the space-time evolution rules of Logistics Park are analyzed and examined according to the cellular automata theory . Some feasible suggestions are proposed .

其次，运用元胞自动机理论对物流园区的时空演化规律和演化轨迹进行了分析和探讨，并提出了一些可行性建议。

Afterwards , the four aspects , which are corresponding module , Automata theory , Java multithreading and database processing , are defined to implement the system .

接着，分别从通信模块，有限状态自动机，Java多线程以及数据库处理四个方面阐述了系统具体实现的过程。

With the development of electronic technology and the information theory , automata theory goes into every area of information technology , and provides theoretical models , design technology and algorithm to them .

随着微电子技术和信息科学的发展，自动机理论向信息技术的各个应用领域渗透，为它们提供理论模型、设计技术和运行算法。

The study involved in automata theory , parallel computing model , parallel storage structure , algorithm complexity , parallel algorithm design , data structure , multi-task processor and optimize technology .

这一问题的研究涉及自动机理论、并行计算模型、并行存储结构、算法复杂度、并行算法设计、数据结构、多处理机任务分配、优化技术等。

Ensure the program execute stabilization , then considered the requirement of execute speed and efficiency of the procedure , it use Automata theory and Java multithreading technology .

为保证程序的稳定执行，兼考虑到程序在执行速度以及效率上的要求，因此使用有限状态自动机理论和Java多线程技术来解决该问题。

This robot is a nonlinear , serious coupling , multivariable and natural unstable system . The control theory , kinematics , electronics and automata theory are combined in the system .

该机器人系统具有非线性、强耦合、多变量、自然不稳定等多种特点，是控制理论、运动学、电子学、自动化等多种学科综合运用的科技成果，已成为各国科学家的重点研究对象。

This paper introduces the significance of sub-title recognition in natural language processing , and presents the recognition method of sub-title with label using regular expression and automata theory .

介绍了小标题识别在中文信息处理领域中的重要意义，提出了用正规式和自动机理论进行有标号小标题识别的方法。